A Generic Framework for Engineering Graph Canonization Algorithms
نویسندگان
چکیده
منابع مشابه
A Generic Framework for Engineering Graph Canonization Algorithms
The state-of-the-art tools for practical graph canonization are all based on the individualization-refinement paradigm, and their difference is primarily in the choice of heuristics they include and in the actual tool implementation. It is thus not possible to make a direct comparison of how individual algorithmic ideas affect the performance on different graph classes. We present an algorithmi...
متن کاملGeneric Graph Algorithms for Sparse Matrix Ordering
Fill-reducing sparse matrix orderings have been a topic of active research for many years. Although most such algorithms are developed and analyzed within a graph-theoretical framework, for reasons of performance the corresponding implementations are typically realized with programming languages devoid of language features necessary to explicitly represent graph abstractions. Recently, generic ...
متن کاملEngineering Graph Partitioning Algorithms
The paper gives an overview of our recent work on balanced graph partitioning – partition the nodes of a graph into k blocks such that all blocks have approximately equal size and such that the number of cut edges is small. This problem has numerous applications for example in parallel processing. We report on a scalable parallelization and a number of improvements on the classical multilevel a...
متن کاملReverse Engineering: Algorithms for Program Graph Production
The paper proposes an algebraic representation of program modules, called F(p), and illustrates the algorithms that use F(p) to generate program graph models for measurement, documentation and testing activities. The representation refers to procedural languages, D-structured programs and one-in/one-out modules but its definition can be extended to programs structured in terms of an arbitrary s...
متن کاملImplementation of a generic concurrent engineering environment framework for boatbuilding
Boatbuilding is a growth market with global competition and tight profit margins. Concurrent engineering is not presently prevalent within the boatbuilding industry and yet this is a technique that has found much success in other industries. A methodology has therefore been developed to aid design in the leisure boatbuilding industry. This environment uses collaborative engineering and automate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Journal of Experimental Algorithmics
سال: 2020
ISSN: 1084-6654,1084-6654
DOI: 10.1145/3356020